-
1 logical simplification
Большой англо-русский и русско-английский словарь > logical simplification
-
2 logical simplification
Математика: логическое упрощениеУниверсальный англо-русский словарь > logical simplification
-
3 logical simplification
мат.English-Russian scientific dictionary > logical simplification
-
4 logical simplification
Англо-русский словарь по исследованиям и ноу-хау > logical simplification
-
5 simplification
-
6 логическое упрощение
Большой англо-русский и русско-английский словарь > логическое упрощение
-
7 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
8 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle -
9 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Sheffer stroke — This article is about the logical NAND operator. For the electronic NAND gate, see Negated AND gate. For other uses, see Nand (disambiguation). Venn diagram of In Boolean functions and propositional calculus, the Sheffer stroke, named after … Wikipedia
Chinese characters — Unless otherwise specified Chinese text in this article is written in the format (Simplified Chinese / Traditional Chinese; Pinyin). In cases where the Simplified and Traditional Chinese characters are identical, the Chinese term is written only… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Idealism (italian) and after — Italian idealism and after Gentile, Croce and others Giacomo Rinaldi INTRODUCTION The history of twentieth century Italian philosophy is strongly influenced both by the peculiar character of its evolution in the preceding century and by… … History of philosophy
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
PROSODY, HEBREW — This article is a survey of the history of Hebrew poetic forms from the Bible to the present time. The entry is arranged according to the following outline: introduction the variety of formal systems the specific nature of hebrew literary history … Encyclopedia of Judaism
Destructive dilemma — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
Ordered pair — In mathematics, an ordered pair (a, b) is a pair of mathematical objects. In the ordered pair (a, b), the object a is called the first entry, and the object b the second entry of the pair. Alternatively, the objects are called the first and… … Wikipedia
Constraint Handling Rules — (CHR) is a declarative programming language extension introduced in 1991[1][2] by Thom Frühwirth. Originally designed for developing (prototypes of) constraint programming systems, CHR is increasingly used as a high level general purpose… … Wikipedia